1. Formal methods for VLSI disign
پدیدآورنده : / edited by Jorgen Staunstrup
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Integrated Circuits -- Very large scale integration -- Design and construction -- Data processing,Computer -- aided,Integrated Circuits -- Large scale integration -- Testing
رده :
TK
7874
.
F65
1990
2. Hardware/Software co-design: principles and practice
پدیدآورنده : edited by Jorgen Staunstrup and Wayne Wolf
کتابخانه: (طهران)
موضوع : System design , Systems engineering , Computer-aided design
رده :
QA
76
.
9
.
S88
H3675
1997